Wissensrepräsentation mit Logik ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann. So kann z.B. ein Experte sein Wissen über sein Fachgebiet formalis...